∀(x : <>) → Bool
